Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 386 results
Sort by: relevance publication year

The Z Line Shape

BOOK CHAPTER published 1990 in NATO ASI Series

Authors: F. A. Berends

https://doi.org/10.1007/978-1-4684-9054-1_2 Actions

Real Time Computing

BOOK published 1994 in NATO ASI Series

Editors: Wolfgang A. Halang | Alexander D. Stoyenko

https://doi.org/10.1007/978-3-642-88049-0 Actions

On-Line Surveillance and Diagnostic System for Nuclear Power Plant Monitoring

BOOK CHAPTER published 1994 in Real Time Computing

Authors: Özer Ciftcioglu | Erdinc Turkcan

https://doi.org/10.1007/978-3-642-88049-0_30 Actions

Integration of Large Scale Systems

BOOK CHAPTER published 1994 in Real Time Computing

Authors: Wilhelm Rossak

https://doi.org/10.1007/978-3-642-88049-0_32 Actions

Real-Time Operating Systems

BOOK CHAPTER published 1994 in Real Time Computing

Authors: John A. Stankovic

https://doi.org/10.1007/978-3-642-88049-0_5 Actions

Next Step: Responsive Multicomputer Systems

BOOK CHAPTER published 1994 in Real Time Computing

Authors: Miroslaw Malek

https://doi.org/10.1007/978-3-642-88049-0_89 Actions

Using Integration Architectures for Systems Development

BOOK CHAPTER published 1994 in Real Time Computing

Authors: Wilhelm Rossak

https://doi.org/10.1007/978-3-642-88049-0_85 Actions

Engineering Predictable Real-Time Systems

BOOK CHAPTER published 1994 in Real Time Computing

Authors: Harold W. Lawson

https://doi.org/10.1007/978-3-642-88049-0_3 Actions

Goal Oriented Resource Management

BOOK CHAPTER published 1994 in Real Time Computing

Authors: Christos Nikolaou

https://doi.org/10.1007/978-3-642-88049-0_37 Actions

Software Life Cycle of Real-Time Systems

BOOK CHAPTER published 1994 in Real Time Computing

Authors: Theodor Tempelmeier

https://doi.org/10.1007/978-3-642-88049-0_86 Actions

Towards Provable Correct Real-Time Systems

BOOK CHAPTER published 1994 in Real Time Computing

Authors: Ronald M. Tol

https://doi.org/10.1007/978-3-642-88049-0_123 Actions

A Toolset for Developing Real-Time Systems

BOOK CHAPTER published 1994 in Real Time Computing

Authors: Constance Heitmeyer

https://doi.org/10.1007/978-3-642-88049-0_31 Actions

Formal Methods for Real-Time Systems

BOOK CHAPTER published 1994 in Real Time Computing

Authors: Leonor Barroca | John McDermid

https://doi.org/10.1007/978-3-642-88049-0_71 Actions

Distributed Transport Systems and Aspects of Real Time

BOOK CHAPTER published 1994 in Real Time Computing

Authors: Klaus Rebensburg

https://doi.org/10.1007/978-3-642-88049-0_117 Actions

A Consensus-Based Framework for Responsive Computer System Design

BOOK CHAPTER published 1994 in Real Time Computing

Authors: Miroslaw Malek

https://doi.org/10.1007/978-3-642-88049-0_15 Actions

Functional Versus Non-Functional Requirements Analysis

BOOK CHAPTER published 1994 in Real Time Computing

Authors: Marco Spuri

https://doi.org/10.1007/978-3-642-88049-0_120 Actions

Program Design Calculi

BOOK published 1993 in NATO ASI Series

Editors: Manfred Broy

https://doi.org/10.1007/978-3-662-02880-3 Actions

Safety Engineering and Assurance for Real-Time Systems

BOOK CHAPTER published 1994 in Real Time Computing

Authors: John A. McDermid

https://doi.org/10.1007/978-3-642-88049-0_8 Actions

Formal Specifications for Real-Time Fault-Tolerant Systems

BOOK CHAPTER published 1994 in Real Time Computing

Authors: E. B. Fernandez

https://doi.org/10.1007/978-3-642-88049-0_107 Actions

HARTS: A Distributed Real-Time Architecture

BOOK CHAPTER published 1994 in Real Time Computing

Authors: Kang G. Shin

https://doi.org/10.1007/978-3-642-88049-0_20 Actions
Feedback: support@crossref.org